<html>
<head><meta charset="utf-8"><title>solver state · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solver.20state.html">solver state</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="209477762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solver%20state/near/209477762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solver.20state.html#209477762">(Sep 09 2020 at 07:04)</a>:</h4>
<p>what is the state that the solvers keeps between solving goals and why do we need a fresh solver for proving every goal in wf and coherence?</p>



<a name="210060208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solver%20state/near/210060208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solver.20state.html#210060208">(Sep 14 2020 at 20:40)</a>:</h4>
<p><span class="user-mention" data-user-id="251766">@Areredify</span> we should not, I don't think, need a fresh solver. Solvers keep cached results but that should just make things run faster.</p>



<a name="210060417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solver%20state/near/210060417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solver.20state.html#210060417">(Sep 14 2020 at 20:42)</a>:</h4>
<p>that was my impression as well, but current version of wf checks explicitly uses a fresh solver for everything</p>



<a name="210060797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solver%20state/near/210060797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solver.20state.html#210060797">(Sep 14 2020 at 20:45)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> talks about it <a href="https://github.com/rust-lang/chalk/pull/592#discussion_r465928660">here</a></p>



<a name="210061009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solver%20state/near/210061009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solver.20state.html#210061009">(Sep 14 2020 at 20:47)</a>:</h4>
<p>Yeah, my gut feeling is that we don't need a fresh solver for the wf checks</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>